|
|
Debugging Support for Static Analysis Library WALA
Havel, Filip ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
V dnešní době je statická analýza užitečným nástrojem pro vývojáře, který zajistí kontrolu všech důležitých vlastností vyvinuté aplikace. Avšak i statické analýzy musí být vyvíjeny, což nevyhnutelně vede k potřebě je ladit za účelem nalezení a opravy problémů uvnitř analýzy. Ladění statické analýzy může být komplikovanější z důvodu absence dostatečné podpory pro ladění, kterou trpí i populární knihovny pro statickou analýzu. Jednou ze široce používaných knihoven pro statickou analýzu je WALA. V této práci jsme důkladně prozkoumali všechny hlavní nástroje z knihovny WALA a určili možnosti zlepšení podpory ladění. Pro všechny tyto možnosti jsme navrhli a implementovali pod- půrnou infrastrukturu, která by měla urychlit proces ladění tím, že odstraní nutnost zdlouhavé manuální práce potřebné pro kontrolu a vyhodnocení interních stavů knihovny WALA. Jedním typem vylepšení je ladění konfigurace analýzy, kde jsme vytvořili systém pro kontrolu hierarchie tříd a grafu volání, který by měl detekovat běžné problémy s ne- správnou konfigurací. Dalším bodem je ladění funkcí přechodu datových toků, pro který jsme vytvořili vizualizér probíhající analýzy nad cílovým programem. Tato vizualizace se provádí v editoru Visual Studio Code. Pro připojení editoru k analýze jsme využili Debug Adapter Protokolu a knihoven pro...
|
host ::
RSS.